FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

Path-Sensitive Data Flow Analysis Simplified

Path-sensitive data flow analysis pairs classical data flow analysis with an analysis of feasibility of paths to improve precision. In this paper we propose a framework for path-sensitive backward data flow analysis that is enhanced with an abstraction of the predicate domain. The abstraction is based on a three-valued logic. It follows the strategy that path predicates are simplified if possib...

RIFL 1.1: A Common Specification Language for Information-Flow Requirements

DecSerFlow: Towards a Truly Declarative Service Flow Language

The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL, while researchers have been advocating the use of formal methods such as Petri nets and π-calculus. The languages developed for service flows, i.e., process specification languag...

A Data Flow Pattern Language

Payloads is applicable to any instance where different entities communicate by exchanging messages. It facilitates decreased coupling between messages and the entities that operate with them. The Module data protocol offers several solutions for the inter-module message passing mechanism and could be employed by any modular application. Out-of-band and in-band partitions organizes an applicatio...

LePUS - A Declarative Pattern Specification Language

At present, the only means used for specifying design patterns are contemporary object notations [Rumbaugh et. al 91; Booch 94], lengthy verbal descriptions, and sample programs. The inherent ambiguity and incompleteness of these means preclude devising tool support and fuel disputes over “their true intention”. We identified a compact set of abstractions with simple graphical representation, w...